Program analysis

Results: 6751



#Item
71Ontario’s deteriorating schools -- The fix is not in An analysis of the physical condition of Ontario’s elementary and secondary schools and the funding and program

Ontario’s deteriorating schools -- The fix is not in An analysis of the physical condition of Ontario’s elementary and secondary schools and the funding and program

Add to Reading List

Source URL: fixourschools.ca

Language: English - Date: 2017-11-12 16:35:27
    72PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science CONTROL FLOW GRAPHS! PROGRAM ANALYSIS

    PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science CONTROL FLOW GRAPHS! PROGRAM ANALYSIS

    Add to Reading List

    Source URL: homepages.dcc.ufmg.br

    Language: English - Date: 2017-03-15 12:51:16
      73Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan

      Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan

      Add to Reading List

      Source URL: manu.sridharan.net

      - Date: 2018-02-03 20:39:22
        74Javana: A System for Building Customized Java Program Analysis Tools Jonas Maebe Dries Buytaert

        Javana: A System for Building Customized Java Program Analysis Tools Jonas Maebe Dries Buytaert

        Add to Reading List

        Source URL: dri.es

        - Date: 2009-01-20 13:40:22
          75Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

          Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

          Add to Reading List

          Source URL: cliplab.org

          - Date: 2017-11-15 11:58:15
            76Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad

            Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad

            Add to Reading List

            Source URL: cs.brown.edu

            - Date: 2015-04-17 14:02:40
              77What’s Reusable In Program Analysis? [Extended Abstract] Grigory Fedyukovich Computer Science and Engineering, University of Washington, Seattle, Washington, USA

              What’s Reusable In Program Analysis? [Extended Abstract] Grigory Fedyukovich Computer Science and Engineering, University of Washington, Seattle, Washington, USA

              Add to Reading List

              Source URL: staticanalysis.org

              - Date: 2018-03-29 12:35:32
                78Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

                Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

                Add to Reading List

                Source URL: qapl17.doc.ic.ac.uk

                - Date: 2017-04-20 09:16:43
                  79Skadu: Efficient Vector Shadow Memories for Poly-Scopic Program Analysis Donghwan Jeon ∗ Saturnino Garcia

                  Skadu: Efficient Vector Shadow Memories for Poly-Scopic Program Analysis Donghwan Jeon ∗ Saturnino Garcia

                  Add to Reading List

                  Source URL: cseweb.ucsd.edu

                  - Date: 2013-03-16 21:47:24
                    80Machine Learning-Guided Adaptive Program Analysis Hakjoo Oh Kihong Heo Hongseok Yang

                    Machine Learning-Guided Adaptive Program Analysis Hakjoo Oh Kihong Heo Hongseok Yang

                    Add to Reading List

                    Source URL: staticanalysis.org

                    - Date: 2018-03-29 12:35:32